In aerospace engineering and industry, control tasks are often of a periodic nature,while repetitive control is especial......

提出了一种通过查找缓存一致性协议不变量来验证带参协议正确性的新方法.缓存一致性协议验证的难点在于必须证明协议对于任意大小......

圆弧的表示一直是计算机辅助几何设计关心的问题，而圆弧仅是椭圆的特例。现有的方法对于椭圆弧的表示并未进行深入的研究。本文给出......

分析了目前普遍应用的串联型逆变器控制方法在实现逆变器工作状态控制时的优缺点，提出了一种按负载电流扰动大小实现相位补偿的复合......

该文提出了一种基于图像投影的小波不变量算法。首先将图像投影到一维空间,然后引入一种平移和比例不变自适应一维小波变换,利用该......